Towards visualizing the mapping incoherences in Bioportal

The integration of biomedical ontologies via their matching often results in logical errors, due to incorrect mappings or incompatible ontological models. To solve this issue, repair algorithms remove mappings, decreasing the size and possibly the coverage of the alignment. Understanding these errors is crucial to support an effective use of alignments, since different scenarios may favor coherence above completeness and vice-versa. This could be supported by visualization, however, the challenges in visualizing ontology alignments are further compounded by the need to provide an explanation to the logical conflict between the mappings. We present a preliminary visualization tool that supports the identification of mapping incoherence, by displaying sets of mappings involved in logical conflicts between several BioPortal ontologies pairs, as well as the classes and axioms involved.